perm filename MENDE[P,JRA] blob sn#054880 filedate 1973-07-25 generic text, type T, neo UTF8
00100	PRE_PRED: A,B,C;
00200	A1: (A⊃(B⊃A));
00300	A2: (A⊃(B⊃C))⊃((A⊃B)⊃(A⊃C));
00400	A3: ((¬B⊃¬A)⊃((¬B⊃A)⊃B));
00500	;